#ifndef __DDI_TIMER_H
#define __DDI_TIMER_H

#include "ddi_common.h"

s32 ddi_user_timer_open(u32 *timer);
s32 ddi_user_timer_close(u32 *timer);
u32 ddi_user_gettimeID(void);
s32 ddi_user_querrytimer(u32 Timeid, u32 delayms);
void ddi_user_delay_ms(u32 nms);

typedef s32 (*core_ddi_dev_timer_user_open)(u32 *timer);
typedef s32 (*core_ddi_dev_timer_user_close)(u32 *timer);

#endif
